Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
491	PDF Document Add to Reading List Source URL: ai.cs.washington.edu Language: English - Date: 2010-05-17 16:33:23 Linguistics Statistical natural language processing Semantics Computational linguistics Lexical semantics Word-sense disambiguation Latent Dirichlet allocation Argument Analogy Logic Science Logical consequence
492	PDF Document Add to Reading List Source URL: www.cnaa.md Language: English - Date: 2013-07-23 09:48:31 Formal languages Membrane computing Mathematics P system Logic in computer science Parallel computing Computational complexity theory Computability Distributed computing Models of computation Theoretical computer science Computing
493	PDF Document Add to Reading List Source URL: fp7rubicon.eu Language: English - Date: 2013-06-27 15:15:30 Cybernetics Knowledge Fuzzy logic Nervous system Artificial neuron Fuzzy control system Neuron Machine learning Neural networks Science Computational neuroscience
494	PDF Document Add to Reading List Source URL: fp7rubicon.eu Language: English - Date: 2013-06-27 15:15:12 Computational neuroscience Neural networks Inductive reasoning Reasoning Fuzzy logic Machine learning Cognitive science Reasoning system Science Artificial intelligence Knowledge
495	Towards Effective ‘Any-Time’ Music Tracking Andreas Arzt(1) and Gerhard Widmer(1,2) 1 Abstract. The paper describes a new method that permits a computer to listen to, and follow, live music in real-time, by analysing Add to Reading List Source URL: www.cp.jku.at Language: English - Date: 2010-10-06 05:28:18 Science Algorithm Mathematical logic Theoretical computer science Smith–Waterman algorithm Sheet music Computer music Statistical hypothesis testing Dynamic time warping Statistics Dynamic programming Computational phylogenetics
496	DOCID: [removed]UNCLASSIFIED Time Is . Time Was· Time Is Past Computers for Intelligence BY HOWARD H. CAMPAIGNE Add to Reading List Source URL: www.nsa.gov Language: English - Date: 2011-07-08 11:12:31 Knowledge Alan Turing Philosophy of artificial intelligence Computational neuroscience Marvin Minsky Transhumanists Machine learning Computing Machinery and Intelligence Logic Theorist Science Artificial intelligence Cybernetics
497	Using UIMA to Structure an Open Platform for Textual Entailment Tae-Gil Noh and Sebastian Pad´o Department of Computational Linguistics Heidelberg University[removed]Heidelberg, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-09-09 10:57:26 Software Natural language processing Software architecture UIMA Textual entailment General Architecture for Text Engineering Entailment Argument Logic Logical consequence Science
498	RESEARCH NETWORKING PROGRAMME NEW FRONTIERS OF INFINITY: MATHEMATICAL, PHILOSOPHICAL AND COMPUTATIONAL PROSPECTS (INFTY) Standing Committee for the Humanities (SCH) Add to Reading List Source URL: www.esf.org Language: English - Date: 2009-09-29 05:19:32 Philosophy of mathematics Forcing Cardinal numbers Epistemology Z notation Set theory Zermelo–Fraenkel set theory Infinity Continuum hypothesis Mathematics Mathematical logic Logic
499	Using UIMA to Structure an Open Platform for Textual Entailment Tae-Gil Noh, Sebastian Padó Dept. of Computational Linguistics Heidelberg University Add to Reading List Source URL: uima.apache.org Language: English - Date: 2013-10-10 09:07:35 Entailment UIMA Inference Logic Logical consequence Textual entailment
500	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: dmle.cindoc.csic.es Language: English - Date: 2006-11-08 13:46:09 Proof theory Logical syntax Automated theorem proving Metalogic Propositional calculus Sequent First-order logic KeY Well-formed formula Logic Mathematical logic Mathematics

UPDATE